-
Edinburgh Day One
Achieved:
- Volunteered to give a Dream Talk on Friday
- Printed out and read my papers on Program Slicing which I said I'd talk about in the Dream Talk
- Long talk with LD about proof specification languages and control rules. Sent him draft paper on control rules by myself MJa and MP.
To Do:
- Write an abstract to go with the title for my Dream Talk, ( Read more... )